A nonzero element a of an integral domain D is called a prime if a is not a unit and a divides bc implies a divides b or a divides c.